#!/dis/sh
if {no $*} {
	plumb /nb/clock
	exit
}

Clean
echo `{stardate}^'	'^$"* >> /nb/clock
dump = $home^/dump/^$1
if {ftest -e $dump} {
	sed -n '/ \//{;s,.* /,,;s, .*$,,;s,^,/,;p;}' $dump
	echo Load $dump
}
#Load $dump

exit
